https://filesoo.com/product/3877/model-theory-and-algebraic-geometry-an-introduction-to-e-hrushovski’s-proof-of-the-geometric-mordell-lang-conjecture